$\forall$$i$:Id, $k$:Knd. hasloc($k$;$i$) $\Leftrightarrow$ (isrcv($k$) $\Rightarrow$ destination(lnk($k$)) $=$ $i$)